Moyens de logique constructive. II. Logique intuitionniste et logiques constructives des schémas de programmesNEREJVODA, N. N.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1988, Num 2, pp 65-81, issn 0002-3388Article

Equivalent logic programs and symmetric homogeneous forms of logic programs with equalityKWOK HUNG CHAN.Computational intelligence. 1987, Vol 3, Num 3, pp 137-145, issn 0824-7935Article

Regelschaltung zum automatischen An- und Abfahren von TurboverdichternBRECKNER, K.Automatisierungstechnische Praxis. 1991, Vol 33, Num 4, pp 195-198, issn 0178-2320Article

On flowchart theories. II: The nondeterministic caseSTEFANESCU, G.Theoretical computer science. 1987, Vol 52, Num 3, pp 307-340, issn 0304-3975Article

A loopless approach for constructing a fastest algorithm for the towers of Hanoi problemER, M. C.International journal of computer mathematics. 1986, Vol 20, Num 1, pp 49-54, issn 0020-7160Article

Inductive logic program synthesis with DIALOGSFLENER, P.Lecture notes in computer science. 1997, pp 175-198, issn 0302-9743, isbn 3-540-63494-0Conference Paper

Efficient tests for top-down termination of logical rulesULLMAN, J. D; VAN GELDER, A.Journal of the Association for Computing Machinery. 1988, Vol 35, Num 2, pp 345-373, issn 0004-5411Article

Bases logiques de la synthèse des schémas de programmes pour la résolution des problèmes de calculsKANOVICH, M. I.Izvestiâ Akademii nauk SSSR. Tehničeskaâ kibernetika. 1988, Num 2, pp 82-93, issn 0002-3388Article

Program schemes, arrays, Lindström quantifiers and zero-one lawsSTEWART, Iain A.Theoretical computer science. 2002, Vol 275, Num 1-2, pp 283-310, issn 0304-3975Article

Software fault tolerance in real-time systemsKANT, K.Information sciences. 1987, Vol 42, Num 3, pp 255-282, issn 0020-0255Article

Role of Robotics in Ground Combat of the future: UGCV, PerceptOR and FCSVAN FOSSON, Marion H; FISH, Scott.SPIE proceedings series. 2001, pp 323-327, isbn 0-8194-4059-0Conference Paper

An outline of the programme of rehabilitation medical services in the People's Republic of China : 1991-1995CHEN ZHONG-WU.Paraplegia. 1992, Vol 30, Num 8, issn 0031-1758, p. 592Article

Infinite hypergraphs. I, Basic propertiesBAUDERON, M.Theoretical computer science. 1991, Vol 82, Num 2, pp 177-214, issn 0304-3975, 38 p.Article

MOSHI : A culture-tailored management game for African hospital managersFLESSA, Steffen.Tropical doctor. 2001, Vol 31, Num 3, pp 144-146, issn 0049-4755Article

Compilation d'un langage spécialisé pour machine massivement parallèle = Compilation of a specialised language for massively parallel computerMallet, Julien; Le Metayer, Daniel.1998, 224 p.Thesis

Development of correct transformation schemata for Prolog programsRICHARDSON, J; FUCHS, N.Lecture notes in computer science. 1998, pp 263-281, issn 0302-9743, isbn 3-540-65074-1Conference Paper

A fast, complete method for automatically assigning causality to bond graphsHOOD, S. J; PALMER, E. R; DANTZIG, P. M et al.Journal of the Franklin Institute. 1988, Vol 326, Num 1, pp 83-92, issn 0016-0032Article

On the axiomatization of if-then-elseGUESSARIAN, I; MESEGUER, J.SIAM journal on computing (Print). 1987, Vol 16, Num 2, pp 332-357, issn 0097-5397Article

The equivalence problem and correctness formulas for a simple class of programsIBARRA, O. H; ROSIER, L. E.Information and control. 1985, Vol 65, Num 1, pp 18-41, issn 0019-9958Article

Logic program schemas, constraints, and semi-unificationCHASSEUR, E; DEVILLE, Y.Lecture notes in computer science. 1998, pp 69-89, issn 0302-9743, isbn 3-540-65074-1Conference Paper

An efficient general iterative algorithm for dataflow analysisHORWITZ, S; DEMERS, A; TEITEBAUM, T et al.Acta informatica. 1987, Vol 24, Num 6, pp 679-694, issn 0001-5903Article

Décidabilité de l'équivalence forte des schémas récursifs de programmes monadiques = On the decidability of the strong equivalence of monadic programs recursive schemesCAUCAL, Didier.1985, 78fThesis

EQUATIONAL PROPERTIES OF RECURSIVE PROGRAM SCHEME SOLUTIONSMILIUS, Stefan; MOSS, Lawrence S.Cahiers de topologie et géométrie différentielle catégoriques. 2009, Vol 50, Num 1, pp 23-66, issn 1245-530X, 44 p.Article

Small-angle scattering data analysis for dense polydisperse systems : the FLAC programCARSUGHI, Flavio; GIACOMETTI, Achille; GAZZILLO, Domenico et al.Computer physics communications. 2000, Vol 133, Num 1, pp 66-75, issn 0010-4655Article

Developing prescribing in primary careBRADLEY, C. P; TAYLOR, R; BLENKINSOPP, A et al.BMJ. British medical journal (International ed.). 1997, Vol 314, Num 7082, pp 744-747, issn 0959-8146Article